1. A first course in logic : an introduction to model theory, proof theory, computability, and complexity
پدیدآورنده: / Shawn Hedman
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Logic.,Logic, Symbolic and mathematical.
رده :
QA9
.
H34
2004
2. A first course in logic : an introduction to model theory, proof theory, computability, and complexity
پدیدآورنده: Shawn Hedman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic,، Logic, Symbolic and mathematical
رده :
QA
9
.
H43F5
3. A first course in logic :an introduction to model theory, proof theory, computability, and complexity
پدیدآورنده: Hedman, Shawn.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Logic,، Logic, Symbolic and mathematical
رده :
QA9
.
H36
2004
4. An introduction to mathematical logic and type theory. to truth through proof
پدیدآورنده: / Peter B. Andrews
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Logic, Symbolic and mathematical,Type theory
رده :
QA9
.
A638
5. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده: Andrews, P. B. )Peter Bruce(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
2002
6. An introduction to mathematical logic and type theory : to truth through proof
پدیدآورنده: Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
1986
7. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده: Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
8. Computation and proof theory; proceedings of the logic colloquium held in Aachen, July 18-23, 1983
پدیدآورنده: edite by M. M. Richter, ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Proof theory
رده :
QA
1
.
L4
v
.
1104
9. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
9
.
A96
.
K87
1993
10. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic : proceedings
پدیدآورنده: Georg Gottlob, Alexander Leitscch, Daniele Mundici, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
713
11. Computational logic and proof theory : 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings
پدیدآورنده: Georg Gottlob, Alexander Leitsch, Daniele Mundici )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1289
12. Hybrid Logic and its Proof-Theory
پدیدآورنده: / by Torben Braeuner
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Proof theory,Logic, Symbolic and mathematical
رده :
QA9
,.
54
.
B73
2011
13. Hybrid logic and its proof-theory
پدیدآورنده: by Torben Brauner
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
B73H9
14. Hybrid logic and its proof-theory
پدیدآورنده: / by Torben Braeuner
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Proof theory.,Logic, Symbolic and mathematical.
رده :
QA
,
9
.
54
,.
B736
,
2011
15. Hybrid logic and its proof-theory
پدیدآورنده: / Torben Brauner
کتابخانه: کتابخانه دانشکدگان فارابی (دانشگاه تهران) (قم)
موضوع: Proof theory,logic - symbolic and mathematics
رده :
QA
9
.
54
.
B7
2011
17. Proof theory and algebra in logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Proof theory. ;
18. Reductive logic and proof-search: proof theory, semantics, and control
پدیدآورنده: Pym, David J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
P87
2004
19. Reductive logic and proof-search : proof theory, semantics, and control
پدیدآورنده: David J. Pym and Eike Ritter
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
P965R4
